\begin{tabbing}
ma{-}interface{-}val(${\it es}$;$X$;$e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=let ${\it ds}$,$F$ = $X$IdDeq(es{-}loc(${\it es}$; $e$))\+
\\[0ex]in
\\[0ex]let $V$,$f$ = $F$KindDeq(es{-}kind(${\it es}$; $e$)) in $f$(es{-}state{-}when(${\it es}$;$e$),es{-}val(${\it es}$; $e$))
\-
\end{tabbing}